Documenting the Progress of the System Development
نویسندگان
چکیده
While UML gives an intuitive image of the system, formal methods provide the proof of its correctness. We can benefit from both aspects by combining UML and formal methods. Even for the combined method we need consistent and compact description of the changes made during the system development. In the development process certain design patterns can be applied. In this paper we introduce progress diagrams to document the design decisions and detailing of the system in successive refinement steps. A case study illustrates the use of the progress diagrams.
منابع مشابه
ارزشیابی، راهی بسوی بهبود کیفیت
To obtain educational goals, teachers should have sufficient knowledge and skills. On the other hand procen is not usually apparent. Educational authorities believe that one of the most important steps that could improve quality is documenting teaching progress so that evaluation comes as a documenting device. We think, the existing evaluation methods are not as efficient as they should...
متن کاملCurrent progress in the development of therapeutic vaccines for chronic hepatitis B virus infection
Chronic hepatitis B is still a major public health issue despite the successful prophylactic vaccination attempts. Chronicity of hepatitis B virus(HBV) is mainly due to its ability to debilitate host's immune system. Therefore, major measures have been taken to stop this process and help patients with chronic hepatitis B infection recover from their illness. While satisfactory results have been...
متن کاملProgress of Membrane Engineering for Water Treatment
Together with the supply of energy and the environmental protection, fresh water is one of the three keys elements for the sustainable development of every society. Where the availability of water cannot be carried out by using conventional sources, unavoidable appears the resort of the major water source: the sea. Today, RO is one the most used membrane processes for the production of fresh wa...
متن کاملP44: Stress Management in Work Settings
Substantial progress in documenting the role of psychosocial stress in the etiology and development of physical and mental disease has been made in the past 10 years. Although the exact mechanisms with which stress impacts health are not fully understood, it is thought that the negative emotional and cognitive effects of stress alter the immune response and increase susceptibility to disease. S...
متن کاملDetermining the status quo and the desired evaluation of the impact and the components of psychology and safety
Today, human resources are considered as the most important assets of the organization and improving management, despite its importance, is a very difficult task because in any case, organizations are developing and evolving and expectations from managers are rapidly increasing and changing. One of these expectations is the share of succession in management positions, which can not be met by re...
متن کاملIntegrating Islamic Finance to Global Financial System: the Role of the Islamic Financial Services Board (IFSB)
A prudential framework is an important element in facilitating the successful integration of Islamic financial services to the global financial system. In recognition of this need, various stakeholders decided to establish the Islamic Financial Services Board (IFSB) to spearhead the development of a uniform set of prudential, supervisory and disclosure standards for the Islamic financial s...
متن کامل